Law of Leaky Abstractions
ja : 漏れのある抽象化の法則